-
1 теоретическая логика
Engineering: mathematical logicУниверсальный русско-английский словарь > теоретическая логика
-
2 теоретическая логика
теорети́чна ло́гікаРусско-украинский политехнический словарь > теоретическая логика
-
3 теоретическая логика
теорети́чна ло́гікаРусско-украинский политехнический словарь > теоретическая логика
-
4 теоретическая логика
-
5 логика
ж. logicлогика «большинства» — majority logic
-
6 логика
наук.ло́гіка- двузначная логика
- дедуктивная логика
- интесиональная логика
- интуиционистская логика
- комбинаторная логика
- конструктивная логика
- логика высказываний
- логика предикатов
- математическая логика
- модальная логика
- позитивная логика
- расширенная логика
- символическая логика
- ступенчатая логика
- счётнозначная логика
- теоретическая логика
- традиционная логика
- трёхзначная логика -
7 логика
наук.ло́гіка- двузначная логика
- дедуктивная логика
- интесиональная логика
- интуиционистская логика
- комбинаторная логика
- конструктивная логика
- логика высказываний
- логика предикатов
- математическая логика
- модальная логика
- позитивная логика
- расширенная логика
- символическая логика
- ступенчатая логика
- счётнозначная логика
- теоретическая логика
- традиционная логика
- трёхзначная логика -
8 логика
ж.logica f- арифметическая логика
- бинарная логика
- логика большинства
- вероятностная логика
- логика высказываний
- логика вычислительной машины
- двоичная логика
- N-значная логика
- комбинаторная логика
- конструктивная логика
- мажоритарная логика
- математическая логика
- многозначная логика
- программируемая логика
- релейная логика
- символическая логика
- статическая логика
- теоретическая логика
- формальная логика -
9 логика
η λογικήРусско-греческий словарь научных и технических терминов > логика
-
10 theoretische Logik
теоретическая логика
См. также в других словарях:
теоретическая логика — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… … Энциклопедия эпистемологии и философии науки
Теоретическая логика — … Википедия
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
логика символическая — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… … Энциклопедия эпистемологии и философии науки
Логика знаний — Логика знаний, «эпистемическая логика» (от греч. επιστήμη знание) подвид модальной логики, имеющий дело с высказываниями о знании (его состоянии). С этой темой соприкасаются философия, теоретическая информатика, искусственный интеллект, экономика … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логика — Гр … Википедия
ЛОГИКА ФОРМАЛЬНАЯ — наука, изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая… … Современный философский словарь
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
математическая логика — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… … Энциклопедия эпистемологии и философии науки
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия